;; The first four lines of this file were added by Dracula.
;; They tell DrScheme that this is a Dracula Modular ACL2 program.
;; Leave these lines unchanged so that DrScheme can properly load this file.
#reader(planet "reader.rkt" ("cce" "dracula.plt") "modular" "lang")
(interface Iio
  (sig get-datum (xs x))
  (sig get-values (datalist begin end))
  (sig get-the-rest (list n))
  (sig make-RGB (r g b))
  (sig pixel-list (byte-list bit-size width x))
  (sig list-for-tree (bmplist))
  (sig make-tree (f-in))
  (sig tree->binary-file (tree f-out))
  (sig full-list (tree))
  (sig read-queries-file (f-in))
  (sig execute-query (list tree))
 ; (sig read-queries-and-execute-helper (querylist))
  (sig read-queries-and-execute (f-in tree))
  (sig main (f-in)))
 